Theory of computation - PDFSEARCH.IO - Document Search Engine

Theory of computation
Results: 2087

#	Item
781	Review1 of Algorithmic Bioprocesses by Condon, Harel, Kok, Salomaa, Winfree, eds. Springer, pages, hardcover Review by Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2010-08-01 14:42:43 Theory of computation Computer science Natural computing Cellular automaton P system Automata theory Membrane computing Turing machine Finite-state machine Models of computation Theoretical computer science Applied mathematics
782	Parallelism in Sequential Guy Blelloch Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2011-04-26 13:42:59 Sorting algorithms Analysis of algorithms Complexity classes Models of computation Circuit complexity Quicksort NC Time complexity Merge sort Theoretical computer science Computational complexity theory Mathematics
783	Building the Minimal Automaton of AX in Linear Time, when X is of Bounded Cardinality Add to Reading List Source URL: www.cs.ucr.edu Language: English* - Date: 2010-08-20 17:45:56 Aho–Corasick string matching algorithm Mathematics Deterministic automaton Computer science Regular language Alphabet Models of computation Automata theory Formal languages Theoretical computer science
784	Handbook of Research on Nature Inspired Computing for Economics and Management Edited by: Jean-Philippe Rennard, Grenoble Graduate Add to Reading List Source URL: www.rennard.org Language: English - Date: 2014-07-28 10:20:04 Knowledge Education Complex systems theory Systems theory Evolutionary algorithms Agent-based model Evolutionary computation Genetic algorithm Genetic programming Cybernetics Science Mathematical optimization
785	Simple Rules for Low-Knowledge Algorithm Selection? J. Christopher Beck and Eugene C. Freuder Cork Constraint Computation Centre, Department of Computer Science, University College Cork, Cork, Ireland {c.beck,e.freuder}@ Add to Reading List Source URL: tidel.mie.utoronto.ca Language: English - Date: 2006-01-18 12:07:28 Theoretical computer science Operations research Algorithm Mathematical logic Genetic algorithm Computational complexity theory Online algorithm Travelling salesman problem Ant colony optimization algorithms Mathematics Applied mathematics Mathematical optimization
786	LNCSComputational Proof as Experiment: Probabilistic Algorithms from a Thermodynamic Perspective Add to Reading List Source URL: www.ece.rice.edu Language: English - Date: 2012-08-15 21:56:56 Models of computation Computability theory Turing machine Probabilistic complexity theory Probabilistic Turing machine Computational complexity theory Randomized algorithm Algorithm NP Theoretical computer science Applied mathematics Computer science
787	Modeling the Dynamic Interaction of Hebbian and Homeostatic Plasticity Taro Toyoizumi Laboratory for Neural Computation and Adaptation, RIKEN Brain Science Institute, Japan Email of Presenting Author: taro.toyoizumi@bra Add to Reading List Source URL: iasprogram.ust.hk Language: English - Date: 2015-03-26 05:28:37 Neurophysiology Neural networks Neurology Computational neuroscience Homeostatic plasticity Hebbian theory Biological neural network Chemical synapse Neuroplasticity Biology Neuroscience Nervous system
788	Extracted from: Good Math A Geek’s Guide to the Beauty of Numbers, Logic, and Computation Add to Reading List Source URL: media.pragprog.com Language: English - Date: 2013-08-07 09:11:47 Predicate logic Set theory Model theory Semantics Predicate First-order logic S Naive set theory Infinity Mathematical logic Logic Mathematics
789	Computability of continuous solutions of higher-type equations Mart´ın Escard´o School of Computer Science, University of Birmingham, UK Abstract. Given a continuous functional f : X → Y and y ∈ Y , we wish Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2009-03-18 06:51:09 Theory of computation Theoretical computer science Metric space Computable function Uniform space Filter Continuous function Mathematics Computability theory Topology
790	Phase Transitions within Grammatical Inference Nicolas Pernot, Antoine Cornu´ejols & Mich`ele Sebag Laboratoire de Recherche en Informatique, CNRS UMR 8623 Bˆat.490, Universit´e de Paris-Sud, OrsayOrsay Cedex ( Add to Reading List Source URL: www.ijcai.org Language: English - Date: 2005-07-11 15:50:42 Applied mathematics Computer science Deterministic finite automaton Finite-state machine Algorithm Grammar induction Machine learning Sequence Regular expression Automata theory Models of computation Theoretical computer science

UPDATE